explicit formulation

См. также в других словарях:

• Explicit substitution — In computer science, Explicit substitution is an umbrella term used to describe several calculi based on the Lambda calculus that pay special attention to the formalization of the process of substitution. The concept of explicit substitutions has …   Wikipedia

• Mathematical formulation of quantum mechanics — Quantum mechanics Uncertainty principle …   Wikipedia

• Standard Model (mathematical formulation) — For a basic description, see the article on the Standard Model .This is a detailed description of the standard model (SM) of particle physics. It describes how the leptons, quarks, gauge bosons and the Higgs particle fit together. It gives an… …   Wikipedia

• operations research — the analysis, usually involving mathematical treatment, of a process, problem, or operation to determine its purpose and effectiveness and to gain maximum efficiency. [1940 45, Amer.] * * * Application of scientific methods to management and… …   Universalium

• LU decomposition — In linear algebra, LU decomposition (also called LU factorization) is a matrix decomposition which writes a matrix as the product of a lower triangular matrix and an upper triangular matrix. The product sometimes includes a permutation matrix as… …   Wikipedia

• automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… …   Universalium

• doctrine and dogma — ▪ religion Introduction       the explication and officially acceptable version of a religious teaching. The development of doctrines and dogmas has significantly affected the traditions, institutions, and practices of the religions of the world …   Universalium

• SAMCEF — is a finite element analysis (FEA) program that was originally developed in 1965 by University of Liège and currently developed and maintained by the company SAMTECH in Liège, Belgium.oftware architectureThe greater part of SAMCEF is written… …   Wikipedia

• Spain — /spayn/, n. a kingdom in SW Europe. Including the Balearic and Canary islands, 39,244,195; 194,988 sq. mi. (505,019 sq. km). Cap.: Madrid. Spanish, España. * * * Spain Introduction Spain Background: Spain s powerful world empire of the 16th and… …   Universalium

• Collections of Ancient Canons —     Collections of Ancient Canons     † Catholic Encyclopedia ► Collections of Ancient Canons     While the essential principles of the constitution and government of the Church were immutably fixed by her Divine Founder, ecclesiastical… …   Catholic encyclopedia

• Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… …   Wikipedia